論理学 東京大学出版会
https://gyazo.com/65083376463c74253d0eb3b408bc9ff9
論理学 - 東京大学出版会
命題論理
原子命題
否定詞と接続詞を含まない命題
分子命題
否定詞と接続詞を用いて構成された命題
分子命題の真偽は原子命題の関数になっている
連言とか選言、同値などがでてきてこの本は他の本でも出てきている
「そして」と「しかし」は真理関数的は同じ
原子式の真理値によらずに常に真となる論理式のことをトートロジーと呼ぶ
#2026年に読んだ本 #野矢茂樹_